* etc/PROBLEMS: Remove some old stuff; other small edits
authorGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 02:06:00 +0000 (21:06 -0500)
committerGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 02:06:00 +0000 (21:06 -0500)
commit10fd6cec638f72ceac721c96b4238b53277723c3
treefca9168561ab36619a74745b35e444e94c135d3d
parent4f49d0a20727af17e9d990250496628c1116b07e
* etc/PROBLEMS: Remove some old stuff; other small edits
etc/PROBLEMS